functor category

Definition

• Given functors \(C\) and \(D\), the functor category - written \([C, D]\) or \(D^C\) - is the category whose
  • class of objects is the collection of all functors \(F: C \to D\)
  • morphisms are natural transformations between those functors